функция алгебры логики

См. также в других словарях:

• БУЛЕВА ФУНКЦИЯ — функция алгебры логики, функция, аргументы к рой, равно как и сама функция, принимают значения из двухэлементного множества (обычно {0,1}). Б. ф. являются одним из основных объектов дискретной математики, в особенности тех ее разделов, к рые… …   Математическая энциклопедия

• АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

• МОНОТОННАЯ ФУНКЦИЯ — функция одного переменного, определенная на нек ром подмножестве действительных чисел, приращение к рой при не меняет знака, т. е. либо всегда неотрицательно, либо всегда неположительно. Если строго больше (меньше) нуля, когда то М. ф. наз.… …   Математическая энциклопедия

• ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ — функция, аргументами и значениями к рой являются истинностные значения. Этот термин употребляют, когда речь идет об интерпретации формализованного логич. языка. Если W множество истинностных значений формул данного языка, то П. ф. это любое… …   Математическая энциклопедия

• R-функция — (функция В. Л. Рвачёва)  числовая функция действительных переменных, знак которой вполне определяется знаками ее аргументов при соответствующем разбиении числовой оси на интервалы и . Впервые R функции были введены в работах… …   Википедия

• АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч …   Математическая энциклопедия

• Алгебра логики —         раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… …   Большая советская энциклопедия

• СХЕМА ИЗ ФУНКЦИОНАЛЬНЫХ ЭЛЕМЕНТОВ — математич. модель реальных объектов, связанных с переработкой информации, в к рых допускается многократное использование промежуточных результатов. К подобным объектам относятся, напр., электронно ламповые схемы, сети нейронов, нек рые виды… …   Математическая энциклопедия

• КОНТАКТНАЯ СХЕМА — специальная управляющая система, одна нз математических моделей реальных устройств, построенных из контактов реле. К. с. модельный класс управляющих систем, и для него рассматриваются все те же задачи, что и для прочих классов управляющих систем; …   Математическая энциклопедия

• ДИСТРИБУТИВНОСТИ ЗАКОН — (от лат. distributus – распределенный), р а с п р е д е л и тельный закон, – закон, выражающий дистрибутивность (распределительность) одной данной логич. или математич. операции относительно др. данной операции. Примером Д. з. может служить закон …   Философская энциклопедия

• МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных …   Математическая энциклопедия